- type language
- язык с определением типов данных
Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.. Сергей Орлов .
type language
Смотреть что такое "type language" в других словарях:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
Language change — is the manner in which the phonetic, morphological, semantic, syntactic, and other features of a language are modified over time. All languages are continually changing. At any given moment the English language, for example, has a huge variety… … Wikipedia
Language immersion — is a method of teaching a second language (also called L2, or the target language). Unlike a more traditional language course, where the target language is simply the subject material, language immersion uses the target language as a teaching… … Wikipedia
language — 1 Language, dialect, tongue, speech, idiom are comparable when they denote a body or system of words and phrases used by a large community (as of a region) or by a people, a nation, or a group of nations. Language may be used as a general term… … New Dictionary of Synonyms
Language attrition — is the loss of a first or second language or a portion of that language by individuals; it should be distinguished from language loss within a community (the latter process is referred to as language shift or language death). Language attrition… … Wikipedia
Language reform — is a type of language planning by massive change to a language. The usual tools of language reform are simplification and purification. Simplification makes the language easier to use by regularizing vocabulary and grammar. Purification makes the … Wikipedia
Language Log — is a collaborative language blog maintained by University of Pennsylvania phonetician Mark Liberman.The site is updated daily at the whims of the contributors, and most of the posts are on language use in the media and popular culture. Google… … Wikipedia
Language politics — is a term used to describe political (and sometimes social) consequences of linguistic differences between people, or on occasion the political consequences of the way a language is spoken and what words are used. It means language can express… … Wikipedia
Language localisation — [The spelling localisation , a variant of localization , is the preferred spelling in the UK and other Commonwealth countries.] is the process of translating a product into different languages (see language translation) or adapting a language for … Wikipedia
Type de média internet — Type MIME Un Internet media type[1], à l origine appelé Type MIME ou juste MIME ou encore Content type[2], est un identifiant de format de données sur internet en deux parties. Les identifiants étaient à l origine définis dans la RFC 2046 pour… … Wikipédia en Français
